#ifndef _GTUBS_ARCH_X86_ACPI_HPP_
#define _GTUBS_ARCH_X86_ACPI_HPP_

#include <gtubs/types.hpp>

extern void findRSDP();

#endif // _GTUBS_ARCH_X86_ACPI_HPP_
